35 research outputs found
Complexity of Equivalence and Learning for Multiplicity Tree Automata
We consider the complexity of equivalence and learning for multiplicity tree
automata, i.e., weighted tree automata over a field. We first show that the
equivalence problem is logspace equivalent to polynomial identity testing, the
complexity of which is a longstanding open problem. Secondly, we derive lower
bounds on the number of queries needed to learn multiplicity tree automata in
Angluin's exact learning model, over both arbitrary and fixed fields.
Habrard and Oncina (2006) give an exact learning algorithm for multiplicity
tree automata, in which the number of queries is proportional to the size of
the target automaton and the size of a largest counterexample, represented as a
tree, that is returned by the Teacher. However, the smallest
tree-counterexample may be exponential in the size of the target automaton.
Thus the above algorithm does not run in time polynomial in the size of the
target automaton, and has query complexity exponential in the lower bound.
Assuming a Teacher that returns minimal DAG representations of
counterexamples, we give a new exact learning algorithm whose query complexity
is quadratic in the target automaton size, almost matching the lower bound, and
improving the best previously-known algorithm by an exponential factor
Quantum computation with devices whose contents are never read
In classical computation, a "write-only memory" (WOM) is little more than an
oxymoron, and the addition of WOM to a (deterministic or probabilistic)
classical computer brings no advantage. We prove that quantum computers that
are augmented with WOM can solve problems that neither a classical computer
with WOM nor a quantum computer without WOM can solve, when all other resource
bounds are equal. We focus on realtime quantum finite automata, and examine the
increase in their power effected by the addition of WOMs with different access
modes and capacities. Some problems that are unsolvable by two-way
probabilistic Turing machines using sublogarithmic amounts of read/write memory
are shown to be solvable by these enhanced automata.Comment: 32 pages, a preliminary version of this work was presented in the 9th
International Conference on Unconventional Computation (UC2010
Simulations of Weighted Tree Automata
Simulations of weighted tree automata (wta) are considered. It is shown how
such simulations can be decomposed into simpler functional and dual functional
simulations also called forward and backward simulations. In addition, it is
shown in several cases (fields, commutative rings, Noetherian semirings,
semiring of natural numbers) that all equivalent wta M and N can be joined by a
finite chain of simulations. More precisely, in all mentioned cases there
exists a single wta that simulates both M and N. Those results immediately
yield decidability of equivalence provided that the semiring is finitely (and
effectively) presented.Comment: 17 pages, 2 figure
Solving 2D-pattern matching with networks of picture processors
We propose a solution based on networks of picture processors to the problem of picture pattern matching. The network solving the problem can be informally described as follows: it consists of two subnetworks, one of them extracts simultaneously all subpictures of the same size from the input picture and sends them to the second subnetwork. The second subnetwork checks whether any of the received pictures is identical to the pattern. We present an efficient solution based on networks with evolutionary processors only, for patterns with at most three rows or columns. Afterwards, we present a solution based on networks containing both evolutionary and hiding processors running in O(n+m+kl+k) computational (processing and communication) steps, where the input picture and the pattern are of size (n,m) and (k,l), respectively
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
We review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees
Fuzzy Graph Language Recognizability
Part 5: Fuzzy LogicInternational audienceFuzzy graph language recognizability is introduced along the lines of the established theory of syntactic graph language recognizability by virtue of the algebraic structure of magmoids. The main closure properties of the corresponding class are investigated and several interesting examples of fuzzy graph languages are examined